(gud-jdb-marker-filter): Add period as optional thousands separator; fixes
authorNick Roberts <nickrob@snap.net.nz>
Sun, 8 Feb 2004 15:30:42 +0000 (15:30 +0000)
committerNick Roberts <nickrob@snap.net.nz>
Sun, 8 Feb 2004 15:30:42 +0000 (15:30 +0000)
commit67e37f0314647aab92aa870c3f9cd3fed1763217
treee0d42c5a38357b01be9b42c77c2cf3d528ba4a49
parentb7ac1a10ad07e9c01320b340b670896a9c332b39
(gud-jdb-marker-filter): Add period as optional thousands separator; fixes
<class>:<line-number> regexp for non-english locales.
lisp/progmodes/gud.el